Gear-cutting machines